The Cognitive Complexity of Pilot-Autopilot Interaction on the Boeing 737-EFIS
نویسنده
چکیده
rules also exist for uncommanded mode transitions. A very similar example concerns the ability of G/S to disengage the other pitch modes: G/S will engage when the conditions for its engagement are met, whatever the status of the other pitch modes. Because there is a single set of conditions for five different contexts (one for each of the pitch modes), a single abstract rule can be learned. The generation of the action plan (see 6.3 below) is simplified, as well as its execution (the actions to execute do not depend on the active pitch mode). The benefit of an abstract rule here again is obvious.
منابع مشابه
NASA Technical Memorandum 110255 An Introduction to Requirements Capture Using PVS: Speci cation of a Simple Autopilot
This paper presents an introduction to capturing software requirements in the PVS formal language. The object of study is a simpli ed digital autopilot that was motivated in part by the mode control panel of NASA Langley's Boeing 737 research aircraft. The paper rst presents the requirements for this autopilot in English and then steps the reader through a translation of these requirements into...
متن کاملDifferent Task Complexity Factors and Cognitive Individual Differences: The Effects on EFL Writers’ Performance
This study aimed at examining the main and interaction effects of increased intentional reasoning demands, planning time, and also language learning aptitude on syntactic complexity, accuracy, lexical complexity, and fluency (CALF) of 226 EFL learners’ performance on letter writing tasks. The participants were first randomly assigned to three experimental groups to be given a task with differin...
متن کاملAn Introduction to Requirements Capture Using PVS : Speci cation of a Simple
This paper presents an introduction to capturing software requirements in the PVS formal language. The object of study is a simpli ed digital autopilot that was motivated in part by the mode control panel of NASA Langley's Boeing 737 research aircraft. The paper rst presents the requirements for this autopilot in English and then steps the reader through a translation of these requirements into...
متن کاملApplying the SCR Requirements Method to a Simple Autopilot
Although formal methods for developing computer systems have been available for more than a decade, few have had signi cant impact in practice. A major barrier to their use is that developers nd formal methods di cult to understand and apply. One exception is a formal method called SCR for specifying computer system requirements which, due to its easy-to-use tabular notation and demonstrated sc...
متن کاملCognitive Task Complexity and Iranian EFL Learners’ Written Linguistic Performance across Writing Proficiency Levels
Recently tasks, as the basic units of syllabi, and the cognitive complexity, as the criterion for sequencing them, have caught many second language researchers’ attention. This study sought to explore the effect of utilizing the cognitively simple and complex tasks on high- and low-proficient EFL Iranian writers’ linguistic performance, i.e., fluency, accuracy, lexical complexity, and structura...
متن کامل